Philip Wadler

Results: 73



#Item
21Everything old is new again: Quoted Domain Specific Languages Philip Wadler University of Edinburgh Curry On Prague, Tuesday 7 July 2015

Everything old is new again: Quoted Domain Specific Languages Philip Wadler University of Edinburgh Curry On Prague, Tuesday 7 July 2015

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2015-07-07 11:29:52
    22Links: Web Programming Without Tiers? Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop University of Edinburgh Abstract. Links is a programming language for web applications that generates code for all three ti

    Links: Web Programming Without Tiers? Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop University of Edinburgh Abstract. Links is a programming language for web applications that generates code for all three ti

    Add to Reading List

    Source URL: www.ezrakilty.net

    Language: English - Date: 2009-06-10 11:43:08
      23The Essence of Form Abstraction? Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstract. Abstraction is the cornerstone of high-level programming; HTML forms ar

      The Essence of Form Abstraction? Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstract. Abstraction is the cornerstone of high-level programming; HTML forms ar

      Add to Reading List

      Source URL: groups.inf.ed.ac.uk

      Language: English - Date: 2008-09-10 18:20:19
        24Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler  This is the Technical Report version of the 2009 ESOP paper by the same

        Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler This is the Technical Report version of the 2009 ESOP paper by the same

        Add to Reading List

        Source URL: homepages.inf.ed.ac.uk

        Language: English - Date: 2009-01-07 06:38:13
          25A Practical Theory of Language-Integrated Query James Cheney Sam Lindley  Philip Wadler

          A Practical Theory of Language-Integrated Query James Cheney Sam Lindley Philip Wadler

          Add to Reading List

          Source URL: homepages.inf.ed.ac.uk

          Language: English - Date: 2013-07-22 12:05:21
            26Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler  University of Edinburgh

            Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh

            Add to Reading List

            Source URL: homepages.inf.ed.ac.uk

            - Date: 2007-10-24 13:54:50
              27Well-typed programs can’t be blamed Philip Wadler University of Edinburgh Robert Bruce Findler University of Chicago

              Well-typed programs can’t be blamed Philip Wadler University of Edinburgh Robert Bruce Findler University of Chicago

              Add to Reading List

              Source URL: homepages.inf.ed.ac.uk

              - Date: 2008-04-09 05:20:44
                28Blame for All Amal Ahmed, Robert Bruce Findler, Jeremy Siek, Philip Wadler Vs.

                Blame for All Amal Ahmed, Robert Bruce Findler, Jeremy Siek, Philip Wadler Vs.

                Add to Reading List

                Source URL: homepages.inf.ed.ac.uk

                Language: English - Date: 2012-07-31 06:58:01
                  29Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler  University of Edinburgh

                  Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh

                  Add to Reading List

                  Source URL: www.schemeworkshop.org

                  Language: English - Date: 2011-08-12 16:48:29
                    30The Girard-Reynolds Isomorphism  Philip Wadler, Avaya Labs   Coincidences

                    The Girard-Reynolds Isomorphism Philip Wadler, Avaya Labs Coincidences

                    Add to Reading List

                    Source URL: homepages.inf.ed.ac.uk

                    - Date: 2012-07-31 06:57:52